Giorgio Ghelli : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (48)
Les plus populaires
Liste
- Liste
- Tableau

1

Types for the Ambient Calculus

Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon

Journal:

Information and Computation

Année:

2002

Langue:

english

Fichier:

PDF, 245 KB

english, 2002

2

Parametric schema inference for massive JSON datasets

Baazizi, Mohamed-Amine, Colazzo, Dario, Ghelli, Giorgio, Sartiani, Carlo

Journal:

The VLDB Journal

Année:

2019

Langue:

english

Fichier:

PDF, 924 KB

english, 2019

3

Fibonacci: A programming language for object databases

Antonio Albano, Giorgio Ghelli, Renzo Orsini

Journal:

The VLDB Journal

Année:

1995

Langue:

english

Fichier:

PDF, 2.17 MB

english, 1995

4

Almost-linear inclusion for XML regular expression types

Colazzo, Dario, Ghelli, Giorgio, Pardini, Luca, Sartiani, Carlo

Journal:

ACM Transactions on Database Systems

Année:

2013

Langue:

english

Fichier:

PDF, 1.84 MB

english, 2013

5

A typed text retrieval query language for XML documents

Dario Colazzo, Carlo Sartiani, Antonio Albano, Paolo Manghi, Giorgio Ghelli, Luca Lini, Michele Paoli

Journal:

Journal of the American Society for Information Science and Technology

Année:

2002

Langue:

english

Fichier:

PDF, 224 KB

english, 2002

6

[Lecture Notes in Computer Science] Database Programming Languages Volume 2397 || A Model Theory for Generic Schema Management

Ghelli, Giorgio, Grahne, Gösta

Année:

2002

Langue:

english

Fichier:

PDF, 228 KB

english, 2002

7

[Lecture Notes in Computer Science] Database Programming Languages Volume 2397 || TAX: A Tree Algebra for XML

Ghelli, Giorgio, Grahne, Gösta

Année:

2002

Langue:

english

Fichier:

PDF, 216 KB

english, 2002

8

Linear Time Membership in a Class of Regular Expressions with Counting, Interleaving, and Unordered Concatenation

Colazzo, Dario, Ghelli, Giorgio, Sartiani, Carlo

Journal:

ACM Transactions on Database Systems

Année:

2017

Langue:

english

Fichier:

PDF, 2.00 MB

english, 2017

9

[ACM Press the 2019 International Conference - Amsterdam, Netherlands (2019.06.30-2019.07.05)] Proceedings of the 2019 International Conference on Management of Data - SIGMOD '19 - Schemas and Types for JSON Data

Baazizi, Mohamed-Amine, Colazzo, Dario, Ghelli, Giorgio, Sartiani, Carlo

Année:

2019

Langue:

english

Fichier:

PDF, 828 KB

english, 2019

10

ChemInform Abstract: 6-Thienyl and 6-Phenylimidazo[2,1-b]thiazoles as Inhibitors of Mitochondrial NADH Dehydrogenase

Aldo Andreani, Mirella Rambaldi, Alberto Leoni, Rita Morigi, Alessandra Locatelli, Gianluca Giorgi, Giorgio Lenaz, Anna Ghelli, Mauro Degli Esposti

Journal:

Année:

2000

Fichier:

PDF, 29 KB

2000

11

Efficient inclusion for a class of XML types with interleaving and counting

Dario Colazzo, Giorgio Ghelli, Carlo Sartiani

Journal:

Information Systems

Année:

2009

Langue:

english

Fichier:

PDF, 1.33 MB

english, 2009

12

Bounded existentials and minimal typing

Giorgio Ghelli, Benjamin Pierce

Journal:

Theoretical Computer Science

Année:

1998

Langue:

english

Fichier:

PDF, 1.28 MB

english, 1998

13

Secrecy and Group Creation

Luca Cardelli, Andy Gordon, Giorgio Ghelli

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2001

Fichier:

PDF, 28 KB

2001

14

Divergence of F⩽ type checking

Journal:

Theoretical Computer Science

Année:

1995

Langue:

english

Fichier:

PDF, 1.57 MB

english, 1995

15

Manipulating Trees with Hidden Labels

Luca Cardelli, Philippa Gardner, Giorgio Ghelli

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2007

Langue:

english

Fichier:

PDF, 357 KB

english, 2007

16

6-Thienyl and 6-phenylimidazo[2,1-b]thiazoles as inhibitors of mitochondrial NADH dehydrogenase

Aldo Andreani, Mirella Rambaldi, Alberto Leoni, Rita Morigi, Alessandra Locatelli, Gianluca Giorgi, Giorgio Lenaz, Anna Ghelli, Mauro Degli Esposti

Journal:

European Journal of Medicinal Chemistry

Année:

1999

Langue:

english

Fichier:

PDF, 85 KB

english, 1999

17

Termination of SystemF-bounded: A Complete Proof

Journal:

Information and Computation

Année:

1997

Langue:

english

Fichier:

PDF, 300 KB

english, 1997

18

Basic Theory of F-Bounded Quantification

Paolo Baldan, Giorgio Ghelli, Alessandra Raffaetà

Journal:

Information and Computation

Année:

1999

Langue:

english

Fichier:

PDF, 404 KB

english, 1999

19

Foundations for Extensible Objects with Roles

Journal:

Information and Computation

Année:

2002

Langue:

english

Fichier:

PDF, 224 KB

english, 2002

20

Cytochrome b of protozoan mitochondria: Relationships between function and structure

Anna Ghelli, Massimo Crimi, Stefania Orsini, Luigi Gradoni, Maria Zannotti, Giorgio Lenaz, Mauro Degli Esposti

Journal:

Comparative Biochemistry and Physiology Part B: Comparative Biochemistry

Année:

1992

Langue:

english

Fichier:

PDF, 1.03 MB

english, 1992

21

The effects of idebenone on mitochondrial bioenergetics

Valentina Giorgio, Valeria Petronilli, Anna Ghelli, Valerio Carelli, Michela Rugolo, Giorgio Lenaz, Paolo Bernardi

Journal:

Biochimica et Biophysica Acta (BBA) - Bioenergetics

Année:

2012

Langue:

english

Fichier:

PDF, 634 KB

english, 2012

22

Secrecy and group creation

Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon

Journal:

Information and Computation

Année:

2005

Langue:

english

Fichier:

PDF, 307 KB

english, 2005

23

Subtyping recursion and parametric polymorphism in kernel fun

Dario Colazzo, Giorgio Ghelli

Journal:

Information and Computation

Année:

2005

Langue:

english

Fichier:

PDF, 588 KB

english, 2005

24

Expressiveness and complexity of graph logic

Anuj Dawar, Philippa Gardner, Giorgio Ghelli

Journal:

Information and Computation

Année:

2007

Langue:

english

Fichier:

PDF, 580 KB

english, 2007

25

Protonophoric Activity of NADH Coenzyme Q Reductase and ATP Synthase in Coupled Submitochondrial Particles from Horse Platelets

Alessandra Baracca, Laura Bucchi, Anna Ghelli, Giorgio Lenaz

Journal:

Biochemical and Biophysical Research Communications

Année:

1997

Langue:

english

Fichier:

PDF, 101 KB

english, 1997

26

Functional alterations of the mitochondrially encoded ND4 subunit associated with Leber's hereditary optic neuropathy

Mauro Degli Esposti, Valerio Carelli, Anna Ghelli, Marina Ratta, Massimo Crimi, Simonetta Sangiorgi, Pasquale Montagna, Giorgio Lenaz, Elio Lugaresi, Pietro Cortelli

Journal:

Année:

1994

Langue:

english

Fichier:

PDF, 406 KB

english, 1994

27

Bioenergetics shapes cellular death pathways in Leber's hereditary optic neuropathy: a model of mitochondrial neurodegeneration

Carelli, Valerio, Rugolo, Michela, Sgarbi, Gianluca, Ghelli, Anna, Zanna, Claudia, Baracca, Alessandra, Lenaz, Giorgio, Napoli, Eleonora, Martinuzzi, Andrea, Solaini, Giancarlo

Journal:

Biochimica et Biophysica Acta (BBA) - Bioenergetics

Année:

2004

Langue:

english

Fichier:

PDF, 311 KB

english, 2004

28

The Effects of Idebenone on Mitochondrial and Cellular Bioenergetics

Giorgio, Valentina, Petronilli, Valeria, Prato, Maurizio, Ghelli, Anna, Rugolo, Michela, Bernardi, Paolo

Journal:

Biophysical Journal

Année:

2011

Langue:

english

Fichier:

PDF, 37 KB

english, 2011

29

Coherence of subsumption, minimum typing and type-checking in F ≤

Curien, Pierre-Louis, Ghelli, Giorgio

Journal:

Mathematical Structures in Computer Science

Année:

1992

Langue:

english

Fichier:

PDF, 2.54 MB

english, 1992

30

A calculus for overloaded functions with subtyping

Castagna, Giuseppe, Ghelli, Giorgio, Longo, Giuseppe

Journal:

ACM SIGPLAN Lisp Pointers

Année:

1992

Langue:

english

Fichier:

PDF, 1.03 MB

english, 1992

31

Is Every Kind of Play Suitable for the Child?

Ghelli, Giorgio Bartolucci

Journal:

Procedia - Social and Behavioral Sciences

Année:

2013

Langue:

english

Fichier:

PDF, 97 KB

english, 2013

32

[IEEE 11th International Database Engineering and Applications Symposium (IDEAS 2007) - Banff, AB, Canada (2007.09.6-2007.09.8)] 11th International Database Engineering and Applications Symposium (IDEAS 2007) - Scalable Query Dissemination in XPeer

Conforti, Giovanni, Ghelli, Giorgio, Manghi, Paolo, Sartiani, Carlo

Année:

2007

Langue:

english

Fichier:

PDF, 315 KB

english, 2007

33

[Lecture Notes in Computer Science] Database Programming Languages Volume 2397 || A Temporal Query Language for OLAP: Implementation and a Case Study

Ghelli, Giorgio, Grahne, Gösta

Année:

2002

Langue:

english

Fichier:

PDF, 242 KB

english, 2002

34

[IEEE 2011 IEEE International Conference on Data Engineering (ICDE 2011) - Hannover, Germany (2011.04.11-2011.04.16)] 2011 IEEE 27th International Conference on Data Engineering - Schemas for safe and efficient XML processing

Colazzo, Dario, Ghelli, Giorgio, Sartiani, Carlo

Année:

2011

Langue:

english

Fichier:

PDF, 115 KB

english, 2011

35

Different mtDNA mutations modify tumor progression in dependence of the degree of respiratory complex I impairment

Iommarini, L., Kurelac, I., Capristo, M., Calvaruso, M. A., Giorgio, V., Bergamini, C., Ghelli, A., Nanni, P., De Giovanni, C., Carelli, V., Fato, R., Lollini, P. L., Rugolo, M., Gasparre, G., Porcell

Journal:

Human Molecular Genetics

Année:

2014

Langue:

english

Fichier:

PDF, 864 KB

english, 2014

36

TQL: a query language for semistructured data based on the ambient logic

CARDELLI, LUCA, GHELLI, GIORGIO

Journal:

Mathematical Structures in Computer Science

Année:

2004

Langue:

english

Fichier:

PDF, 496 KB

english, 2004

37

[Lecture Notes in Computer Science] Database Programming Languages Volume 2397 || Optimization Properties for Classes of Conjunctive Regular Path Queries

Ghelli, Giorgio, Grahne, Gösta

Année:

2002

Langue:

english

Fichier:

PDF, 307 KB

english, 2002

38

[ACM Press the 1992 ACM conference - San Francisco, California, United States (1992.06.22-1992.06.24)] Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92 - A calculus for overloaded functions with subtyping

Castagna, Giuseppe, Ghelli, Giorgio, Longo, Giuseppe

Année:

1992

Langue:

english

Fichier:

PDF, 1.03 MB

english, 1992

39

[ACM Press the 2008 ACM SIGMOD international conference - Vancouver, Canada (2008.06.09-2008.06.12)] Proceedings of the 2008 ACM SIGMOD international conference on Management of data - SIGMOD '08 - XML query optimization in the presence of side effects

Ghelli, Giorgio, Onose, Nicola, Rose, Kristoffer, Simeon, Jerome

Année:

2008

Langue:

english

Fichier:

PDF, 507 KB

english, 2008

40

Complexity of kernel Fun subtype checking

Ghelli, Giorgio

Journal:

ACM SIGPLAN Notices

Année:

1996

Langue:

english

Fichier:

PDF, 1.06 MB

english, 1996

41

Commutativity analysis for XML updates

Ghelli, Giorgio, Rose, Kristoffer, Siméon, Jérôme

Journal:

ACM Transactions on Database Systems

Année:

2008

Langue:

english

Fichier:

PDF, 649 KB

english, 2008

42

[ACM Press Proceeding of the 17th ACM conference - Napa Valley, California, USA (2008.10.26-2008.10.30)] Proceeding of the 17th ACM conference on Information and knowledge mining - CIKM '08 - Linear time membership in a class of regular expressions with interleaving and counting

Ghelli, Giorgio, Colazzo, Dario, Sartiani, Carlo

Année:

2008

Langue:

english

Fichier:

PDF, 306 KB

english, 2008

43

[ACM Press the first ACM SIGPLAN international conference - Philadelphia, Pennsylvania, United States (1996.05.24-1996.05.26)] Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 - Complexity of kernel Fun subtype checking

Ghelli, Giorgio

Année:

1996

Langue:

english

Fichier:

PDF, 1.06 MB

english, 1996

44

[ACM Press Proceeding of the 18th ACM conference - Hong Kong, China (2009.11.02-2009.11.06)] Proceeding of the 18th ACM conference on Information and knowledge management - CIKM '09 - Linear inclusion for XML regular expression types

Colazzo, Dario, Ghelli, Giorgio, Pardini, Luca, Sartiani, Carlo

Année:

2009

Langue:

english

Fichier:

PDF, 621 KB

english, 2009

45

[ACM Press Conference proceedings - Phoenix, Arizona, United States (1991.10.06-1991.10.11)] Conference proceedings on Object-oriented programming systems, languages, and applications - OOPSLA '91 - A static type system for message passing

Ghelli, Giorgio

Année:

1991

Langue:

english

Fichier:

PDF, 1.80 MB

english, 1991

46

[ACM Press The 16th International Symposium - Munich, Germany (2017.09.01-2017.09.01)] Proceedings of The 16th International Symposium on Database Programming Languages - DBPL '17 - Counting types for massive JSON datasets

Baazizi, Mohamed-Amine, Colazzo, Dario, Ghelli, Giorgio, Sartiani, Carlo

Année:

2017

Langue:

english

Fichier:

PDF, 773 KB

english, 2017

47

A static type system for message passing

Ghelli, Giorgio

Journal:

ACM SIGPLAN Notices

Année:

1991

Langue:

english

Fichier:

PDF, 1.80 MB

english, 1991

48

Static analysis for path correctness of XML queries

COLAZZO, DARIO, GHELLI, GIORGIO, MANGHI, PAOLO, SARTIANI, CARLO

Journal:

Journal of Functional Programming

Année:

2006

Langue:

english

Fichier:

PDF, 396 KB

english, 2006